\begin{tabbing}
(\=(RWO "select\_append\_back" ({-}2)) \+
\\[0ex]CollapseTHEN (((Auto') 
\\[0ex]CollapseTHEN (((NthHypSq ({-}2))
\\[0ex]
\\[0ex]CollapseTHEN ((if (((first\_nat 2:n)) = 0) then (Repeat (((EqCD) 
\\[0ex]CollapseTHEN ((Try (
\-\\[0ex]T\=rivial))$\cdot$))$\cdot$)) else (RepeatFor (first\_nat 2:n) (((EqCD) \+
\\[0ex]CollapseTHEN ((Try (Trivial))$\cdot$
\-\\[0ex]))$\cdot$)))$\cdot$))$\cdot$))$\cdot$))$\cdot$
\end{tabbing}